Lowering STM Overhead with Static Analysis
نویسندگان
چکیده
Raymond and Beverly Sackler Faculty of Exact Sciences The Blavatnik School of Computer Science
منابع مشابه
Combining Lock Inference with Lock-Based Software Transactional Memory
An atomic block is a language construct that simplifies the programming of critical sections. In the past, software transactional memory (STM) and lock inference have been used to implement atomic blocks. Both approaches have strengths and weaknesses. STM provides fine-grained locking but has high overheads due to logging and potential rollbacks. Lock inference is a static analysis that compute...
متن کاملStatic Analysis of Railway Overheads Considering Pantograph Effect
This article is concerned with the static analysis of structural cables used in railway overheads. Structural analysis computer program named ANSYS is used for analysis. Two effects are considered in the analysis. First one is the bending behavior effect of cables. BEAM188 in addition to LINK10 and LINK180 is used to see the difference in case of additional bending effect. Besides, LINK10 and L...
متن کاملStatic Analysis of Railway Overheads Considering Pantograph Effect
This article is concerned with the static analysis of structural cables used in railway overheads. Structural analysis computer program named ANSYS is used for analysis. Two effects are considered in the analysis. First one is the bending behavior effect of cables. BEAM188 in addition to LINK10 and LINK180 is used to see the difference in case of additional bending effect. Besides, LINK10 and L...
متن کاملA Qualitative Survey of Modern Software Transactional Memory Systems
Software Transactional Memory (STM) can be defined as a generic nonblocking synchronization construct that allows correct sequential objects to be converted automatically into correct concurrent objects. In STM, a transaction is defined as a sequence of instructions that atomically modifies a set of concurrent objects. The original STM proposed by Shavit and Touitou worked on static transaction...
متن کاملRuntime Tuning of STM Validation Techniques
Since the end of the megahertz race in the processor industry and the switch to multicore processors, Software Transactional Memory (STM) has sparked ample interest as a programming model for the now mainstream parallel processing systems. Unfortunately, STM systems still exhibit significant performance overhead over the more traditional, lock-based programming models. A large part of this over...
متن کامل